Nonstandard methods in many-valued logics
نویسنده
چکیده
Since MV-algebras include, in an essential way, infinitisimals it was felt that a systematic study of relationships of nonstandard methods and MV-algebras was needed. In this paper we try to introduce some basic frameworks to study MV-algebras from a nonstandard point of view. Also one can see that for a complete study of MV-algebras many external objects need to be treated differently.
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملAAAI 1993 Fall Symposium Reports
Copyright © 1994, AAAI. 0738-4602-1994 / $2.00 of theorem provers for nonstandard logics in AI systems. The logics considered included modal logics, many-valued logics, autoepistemic logics, conditional logics, argument-based defeasible reasoning, probabilistic logics, default logic, transaction logic, defeasible Prolog, and temporal logics. Some of the applications were reasoning about actions...
متن کاملMany-Valued Models
Many-valued models, besides providing a natural semantical interpretation for several non-classical logics, constitute a very sharp tool for investigating and understanding meta-logical properties in general. Although open to debates from the philosophical perspective, seen from the mathematical viewpoint many-valued matrices and algebras are perfectly well-defined mathematical objects with sev...
متن کاملClassical Gentzen-Type Methods in Propositional Many-Valued Logics
A classical Gentzen-type system is one which employs two-sided sequents, together with structural and logical rules of a certain characteristic form. A decent Gentzentype system should allow for direct proofs, which means that it should admit some useful forms of cut elimination and the subformula property. In this tutorial we explain the main difficulty in developing classical Gentzen-type sys...
متن کاملReduction of Many-valued into Two-valued Modal Logics
In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextualization of many-valued logics with the introduction of higher-order Herbrand interpretation types, where we explicitly introduce the coexistence of a set of algebraic truth values of original many-valued logic, transformed as parameters (or possible w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Soft Comput.
دوره 2 شماره
صفحات -
تاریخ انتشار 1998